((v1 v2 8) (v1 v3 5) (v1 v4 9) (v1 v5 0) (v1 v6 4) (v1 v7 9) (v1 v8 1) (v1 v9 6) (v1 v10 5) (v1 v11 6))
62
()